A method to abstract a stochastic Petri net
نویسندگان
چکیده
منابع مشابه
A Petri Net Synthesis Method
We motivate and study the synthesis of Petri nets. Petri net synthesis can avoid the state exploration problem by guaranteeing the correctness in the Petri net while incrementally expanding the net. For systems specified in Petri nets, this paper proposes a synthesis method. One major advantage of this synthesis technique is that the resultant ordinary Petri net is guaranteed to be structural l...
متن کاملA Brief Study on Stochastic Petri Net
Stochastic Petri nets (SPNs) are extended Petri nets where the transitions fire after a probabilistic delay determined by a random variable. There have been a lot of members added to the SPN family, featuring different time specifications. The most fundamental Markov SPN model and Generalized SPN will be studied in this report. Some relatively mature analysis methods of Petri Nets or Markov pro...
متن کاملSPNP: Stochastic Petri Net Package
We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as markingdependent arc multiplicities, enabling functions, arrays of places or transitions, and subnets; in addition, the full expressive power of the C programming language is available to increase the flexibility of the net descr...
متن کاملDesigning coloured Petri net models: a method
When designing a complex system with critical requirements (e.g. for safety issues), formal models are often used for analysis prior to costly hardware/software implementation. However, writing the formal specification starting from the textual description is not easy. An approach to this problem has been developed in the context of algebraic specifications [5]. Here, we present a similar metho...
متن کاملWell-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities
Generalized Stochastic Petri Nets (GSPN), with immediate transitions, are extensively used to model concurrent systems in a wide range of application domains, particularly including software and hardware aspects of computer systems, and their interactions. These models are typically used for system specification, logical and performance analysis, or automatic code generation. In order to keep m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical and Computer Modelling
سال: 2000
ISSN: 0895-7177
DOI: 10.1016/s0895-7177(00)00094-7